Menu
Geometri_Euclid Pendekatan aksiomanGeometri Euclid merupakan satu sistem aksioman, yang mana semua teorem ("penyataan benar") adalah diambil daripada satu bilangan aksiom-aksiom yang terhingga. Pada permulaan buku Elements yang pertama, Euclid memberikan lima postulat (aksiom):
Aksiom-aksiom ini menggunakan konsep-konsep berikut: titik, tembereng garis lurus dan garis, sebahagian daripada satu garis, bularan dengan jejari dan pusat, sudut serenjang, kongruen, sudut-sudut dalaman dan serenjang, jumlah. Kata-kata kerja yang berikut muncul: sambung, dipanjangkan, lukis, silang. Bulatan ini digambarkan dengan menggunakan postulat 3 adalah sangat unik. Postulat-postulat 3 dan 5 hanya boleh digunakan untuk geometri satah; dalam tiga dimensi, postulat 3 mentakrifkan suatu bulatan.
Satu bukti daripada buku Euclid "Elements" bahawa apabila diberikan satu tembereng garis, satu segitiga sama wujud termasuklah tembereng sebagai salah satu daripada tiga sisi. Buktinya adalah dengan cara binaan: Satu segitiga sama ΑΒΓ dibuat dengan melukis bulatan Δ dan Ε berpusat pada titik-titik Α dan Β, dan dengan mengambil satu persilangan bulatan sebagai puncak sudut ketiga bagi segitiga tersebut.Postulat 5 membawa kepada geometri yang sama sebagai penyataan yang berikut, dikenali sebagai Aksiom Playfair, yang hanya boleh dipegang hanya konsep di dalam satah itu:
Menerusi satu titik yang tidak terletak di atas satu garis lurus, hanya satu sahaja garis yang boleh dilukis tidak akan bertemu garis yang diberi.
Postulat-postulat 1, 2, 3, dan 5 menegaskan bahawa kewujudan dan keunikan rajah-rajah geometri, dan peegasan ini adalah satu binaan semulajadi: iaitu, kita tidak diberitahu bahawa ada perkara tertentu wujud, tetapi kaedah-kaedah diberi untuk mencipta dengan tidak lebih daripada satu kompas dan satu pinggiran lurus yang tidak bertanda. Dalam kes ini, geometri Euclid adalah lebih konkrit daripada kebanyakan sistem-sistem aksiom moden seperti teori set, yang mana kebiasaannya menegaskan kewujudan objek-objek tanpa mengatakan bagaimana untuk membina mereka, atau menegaskan kewujudan objek-objek yang tidak boleh dibina di dalam ruang teori berkenaan.
Sebenarnya, binaan-binaan garis di atas kertas dan sebagainya adalah model-model objek yang lebih baik ditakrifkan di dalam sistem formal, daripada hanya contoh-contoh objek berkenaan. Sebagai contoh, satu garis lurus Euclid tidak mempunyai lebar, tetapi apa-apa garis yang benar akan menjadi lebar.
Elements juga memasukkan lima "notasi biasa":
Euclid juga menggunakan sifat-sifat lain yang berkaitan dengan magnitud. 1 adalah satu-satunya bahagian daripada dasar logik yang Euclid lahirkan dengan terang dan jelas. 2 dan 3 adalah prinsip-prinsip "aritmetik"; perhatikan bahawa makna-makna "tambah" dan "tolak" di dalam konteks geometri asli ini telah diberi sama seperti diambil. 1 hingga 4 secara takrifan mempunyai persamaan, yang mana boleh juga diambil sebagai bahagian pendasaran logik atau sebagai satu keperluan hubungan kesetaraan , seperti "pertembungan," definisi yang sangat teliti. 5 adalah satu prinsip mereologi. "Keseluruhan", "sebahagian", dan "baki" memerlukan takrifan yang tepat.
Menu
Geometri_Euclid Pendekatan aksiomanBerkaitan
Rujukan
WikiPedia: Geometri_Euclid